VDict mobile



An analysis which determines properties of the output of a
program from properties of the inputs.